Universal frames
نویسندگان
چکیده
MSC: 06A06 06D22 54A05
منابع مشابه
Seismic Mitigation of Building Frames using Magnetorheological Damper (TECHNICAL NOTE)
The present study focusses on the damping force control of shear mode magnetorheological (MR) damper for seismic mitigations. Therefore, the semi-active MR damper which can control the vibration is analyzed both experimentally and numerically. Carbonyl iron is used as the magnetic particle and Castrol Magnetec oil as carrier fluid throughout the study. MR damper is designed and fabricated, and ...
متن کاملDownward-directed transitive frames with universal relations
In this paper we identify modal logics of some bimodal Kripke frames corresponding to geometrical structures. Each of these frames is a set of ‘geometrical’ objects with some natural accessibility relation plus the universal relation. For these logics we present finite axiom systems and prove completeness. We also show that all these logics have the finite model property and are PSPACE-complete...
متن کاملLow Pole Order Frames on Vertical Jets of the Universal Hypersurface
For low order jets, it is known how to construct meromorphic frames on the space of the so-called vertical k-jets J vert(X ) of the universal hypersurface X ⊂ P×P (n+1+d)! (n+1)! d! parametrizing all projective hypersurfaces X ⊂ P(C) of degree d. In 2004, for k = n, Siu announced that there exist two constants cn > 1 and cn > 1 such that the twisted tangent bundle: TJn vert(X) ⊗OPn+1 `
متن کاملA universal cue for grammatical categories in the input to children: Frequent frames
How does a child map words to grammatical categories when words are not overtly marked either lexically or prosodically? Recent language acquisition theories have proposed that distributional information encoded in sequences of words or morphemes might play a central role in forming grammatical classes. To test this proposal, we analyze child-directed speech from seven typologically diverse lan...
متن کاملQuantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega
The minimal extension of intuitionistic propositional language is characterized, where propositional quantifier are eliminable w.r.t. Kripke frames of type !.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013